On completeness of narrowing strategies

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

the effect of explicit instruction of metacognitive strategies on reading comprehension among iranian high school students

the present study seeks to determine the effect of explicit instruction of metacognitive strategies on iranian high school students’ reading comprehension ability. it also attempts to investigate the relationship between the learners reading comprehension and metacognitive strategies. furthermore, the study investigates whether iranian efl female high school students are high, medium, or low me...

effect of listening strategy training on iranian efl learners listening comprehension and use of strategies

this study aimed to investigate the effects of listening strategy training on iranian efl learners listening comprehension and use of such strategies. this work, employing an experimental methodology, was conducted among 60 adult efl learners from a language institute in isfahan, iran, as participants. the participants, who were selected based on the results of a placement test, were assigned t...

15 صفحه اول

Strong Completeness of a Lazy Conditional Narrowing Calculus

In this paper we extend the lazy narrowing calculus of Middeldorp, Okui, and Ida 13] to conditional rewrite systems. We show that our calculus is strongly complete whenever basic conditional narrowing is complete. This generalizes one of the three main results of 13] to the conditional case. As a corollary we obtain the strong completeness for three classes of conditional rewrite systems, one o...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Theoretical Computer Science

سال: 1990

ISSN: 0304-3975

DOI: 10.1016/0304-3975(90)90032-d